Extending the Test Template Framework

The Test Template Framework (TTF) is a formal, abstract model of testing, used to derive a hierarchy of test information, including test inputs and outputs, from a model-based formal speciication. In this paper we propose two modiications to the framework: rst, that testing information derived from state components be factored out from operation-speciic information, and second, that focusing on the input space of an operation under test be deferred for as long as possible. The rst modiication facilitates reuse of derived information in the context of abstract data types (ADTs) and classes to minimise duplication. The second modiication supports testing strategies based on operation outputs, and provides a basis for further extensions for testing derived from behaviour-based notations.